00100	HEAVY DUTY SET THEORY
00200	
00300	
00400		This is to be a FOL axiomatization of set theory designed
00500	to make proofs of mathematical, common se?se, and MTC propositions
00600	as brief and easy as possible.  Therefore, it should have many more
00700	axioms and schemata than are strictly necessary.
00800	
00900	1. There are sets and functions and several comprehension schemata
01000	for forming them.